David Banon, L’attente messianique. Une infinie patience

Une Double Hierarchie Infinie de Langages Verifiables

© AFCET, 1975, tous droits réservés. L’accès aux archives de la revue « Revue française d’automatique, informatique, recherche opérationnelle. Informatique théorique » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal. php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce ...

Patience

What is patience? Humans and other animals often make decisions that trade off present and future benefits. Should a monkey eat an unripe fruit or wait for it to ripen? Should I purchase the iPhone at its debut or wait for the price to drop in a few months? In these dilemmas, large gains often require long waits, so decision makers must choose between a smaller, sooner reward and a larger, late...

Descente Infinie + Deduction

Although induction is omnipresent, inductive theorem proving in the form of descente infinie has not yet been integrated into full first-order deductive calculi. We present such an integration that even works for higher-order logic. This integration is based on lemma and induction hypothesis application for free variable sequent and tableau calculi. We discuss the appropriateness of these types...

Mathematical Induction by Descente Infinie

Patience and prosperity

This paper introduces wealth-dependent time preference into a simple model of endogenous growth. The model generates adjustment dynamics in line with the historical facts on savings and economic growth in Europe from the High Middle Ages to today. Along a virtuous cycle of development more wealth leads to more patience, which leads to more savings and even higher wealth. Savings rates and incom...